
(clear)

(batch "./templates.clp")
(batch "./Envy.clp")
(batch "./MiniHome.clp")
(batch "./Pavilion.clp")
(batch "./Domesticos.clp")
(batch "./Touchsmart.clp")
(batch "./preferencias.clp")
(batch "./razonamiento.clp")
(reset)
(run)
